Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1h·
Discuss: Hacker News
⚙️Programming
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
🔐Zero-Knowledge Proofs
Editorial Board
sciencedirect.com·5h
🛡️AI Safety
**Essential Python Security Practices: Building Robust, Attack-Resistant Applications**
dev.to·11h·
Discuss: DEV
🔒Hardware Security
Continuous Improvement in LLM Code Generation
blogger.com·15h
🔧MLIR
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·2d·
Discuss: Hacker News
🛡️AI Safety
Trial and Error Driven Development
stevenoxley.com·7h·
Discuss: Hacker News
⚙️Programming
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·15h
⚙️Programming
Verifying The Evolving UCIe Landscape
semiengineering.com·21h
🔄Protocol Design
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1d·
Discuss: Lobsters, Hacker News
🔐Zero-Knowledge Proofs
Better Than GPT-5? We Try ERNIE X1.1, Baidu’s Latest AI Model
analyticsvidhya.com·10h
🤖AI
Shape Checking for Annotated Tensor Names
github.com·6h·
Discuss: Hacker News
⚙️Programming
Designing software architecture for parallel AI sessions
rashidazarang.com·8h·
Discuss: Hacker News
🤖AI
Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.to·3d·
Discuss: DEV
📜Smart Contracts
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
🤖AI
What's new in Kotlin 2.2.20
kotlinlang.org·12h·
Discuss: Lobsters, Hacker News
⚙️Programming
Pipex v0.1.20 – New Features 🚀
gist.github.com·1d
⚙️Programming
Context Pruning in Conversational Agent
poonai.xyz·17h·
Discuss: Hacker News
🤖AI
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
⚙️Programming
Effects as Capabilities in Scala
nrinaudo.github.io·16h·
Discuss: Lobsters, Hacker News
⚙️Programming